Posted
by Nasser Hajloo
on Stack Overflow
See other posts from Stack Overflow
or by Nasser Hajloo
Published on 2010-04-24T10:52:53Z
Indexed on
2010/04/24
11:03 UTC
Read the original article
Hit count: 321
What are Formal Methods? pros and cons - Why are Formal Methods Necessary ?
© Stack Overflow or respective owner
as seen on Stack Overflow
- Search for 'Stack Overflow'
I've found that my (USA) professors recoil with a near-disgust when I ask them about how to pursue a career in Formal Methods programming.
They say, "Oh, that stuff! That stuff is anal. You don't need that European POS to get a job."
I'm sure I'll get a job without it, but Formal Methods interests…
>>> More
as seen on Stack Overflow
- Search for 'Stack Overflow'
Our client wants us to build a web-based, rich internet application for gathering software requirements. Basically it's a web-based case tool that follows a specific process for getting requirements from stakeholders. I'm the project manager and we're still in the early phases of the project.
I've…
>>> More
as seen on Dot net Slackers
- Search for 'Dot net Slackers'
OnI talked about evaluating a candidate architecture in code. This post is dedicated to evaluation on paper.I remember one system I was working on, I was keen on making the architecture asynchronous and message oriented (it was all circa 2001 by the way) However, I was new on the team and my role…
>>> More
as seen on Programmers
- Search for 'Programmers'
Comparing software engineering with civil engineering, I was surprised
to observe a different way of thinking: any civil engineer knows that
if you want to build a small hut in the garden you can just get the
materials and go build it whereas if you want to build a 10-storey house
you need to do quite…
>>> More
as seen on Stack Overflow
- Search for 'Stack Overflow'
What are Formal Methods? pros and cons - Why are Formal Methods Necessary ?
>>> More
